Analysis of Deadlocks in Object Groups
نویسندگان
چکیده
Object groups are collections of objects that perform collective work. We study a calculus with object groups and develop a technique for the deadlock analysis of such systems based on abstract descriptions of method’s behaviours.
منابع مشابه
Analysis of synchronisation patterns in stateful active objects
This paper presents a static analysis technique based on effect and behavioural types for deriving synchronisation patterns of stateful active objects and verifying their safety – e.g. absence of deadlocks. This is challenging because active objects use futures to refer to results of pending asynchronous invocations and because these futures can be stored in object fields, passed as method para...
متن کاملUsing Model Checking to Detect Deadlocks in Distributed Object Systems
We demonstrate how the use of synchronization primitives and threading policies in distributed object middleware can lead to deadlocks. We identify that object middleware only has a few built-in synchronizationand threading primitives. We suggest to express them as stereotypes in UML models to allow designers to model synchronization and threading of distributed object systems at appropriate le...
متن کاملComparison of the effect of group therapy based on family systems theory and short-term object relations couple therapy on the women’s marital intimacy
Background & Aims: The aim of present study was to compare the effect of group therapy based on family systems theory and short-term object relations couple therapy on the women’s marital intimacy. Material & Method: The research design in this study was pre-test, post-test experimental method with control group. The statistical population was included female clients of 25-55 years old with mar...
متن کاملTerm formation as the object of analysis of various terminology systems (on the basis of analysis of aerospace terminology in Russian language)
This article is dedicated to the study of the method of various term system analysis from term formation perspective. Herewith as the simple of analysis is studied aerospace terminology in Russian language. The main ways of term formation are divided into four groups: synthetic way, adoption, semantic metaphorization, analytic way. Each way and the nuances of its analysis are explained in detai...
متن کاملPassive Non-Prehensile Manipulation of a Specific Object on Predictable Helix Path Based on Mechanical Intelligence
Object manipulation techniques in robotics can be categorized in two major groups including manipulation with and without grasp. The aim of this paper is to develop an object manipulation method where in addition to being grasp-less, the manipulation task is done in a passive approach. In this method, linear and angular positions of the object are changed and its manipulation path is controlled...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011